1![Results and Analysis of SyGuS-Comp’15 Rajeev Alur Dana Fisman University of Pennsylvania Results and Analysis of SyGuS-Comp’15 Rajeev Alur Dana Fisman University of Pennsylvania](https://www.pdfsearch.io/img/9fa3292d930759ebf3fee9e088b582de.jpg) | Add to Reading ListSource URL: rishabhmit.bitbucket.ioLanguage: English - Date: 2018-06-25 09:59:57
|
---|
2![Safe Schedulability of Bounded-Rate Multi-Mode Systems Rajeev Alur ˇ Forejt Vojtech Safe Schedulability of Bounded-Rate Multi-Mode Systems Rajeev Alur ˇ Forejt Vojtech](https://www.pdfsearch.io/img/8b4de2fe6269077bebed601f20398252.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 11:12:41
|
---|
3![The 4th Competition on Syntax-Guided Synthesis Rajeev Alur, Dana Fisman, Rishabh Singh and Armando Solar-Lezama The 4th Competition on Syntax-Guided Synthesis Rajeev Alur, Dana Fisman, Rishabh Singh and Armando Solar-Lezama](https://www.pdfsearch.io/img/71e33426a3518c97cb9b9355292dd212.jpg) | Add to Reading ListSource URL: www.react.uni-saarland.deLanguage: English - Date: 2017-08-02 04:54:12
|
---|
4![1 Regular Functions and Cost Register Automata Rajeev Alur∗ , Loris D’Antoni∗ , Jyotirmoy Deshmukh† , Mukund Raghothaman∗ and Yifei Yuan∗ ∗ University of Pennsylvania † Toyota Technical Center (Invited P 1 Regular Functions and Cost Register Automata Rajeev Alur∗ , Loris D’Antoni∗ , Jyotirmoy Deshmukh† , Mukund Raghothaman∗ and Yifei Yuan∗ ∗ University of Pennsylvania † Toyota Technical Center (Invited P](https://www.pdfsearch.io/img/aef921966ec5ca9c09f35bfa08f53d8a.jpg) | Add to Reading ListSource URL: www.andrew.cmu.eduLanguage: English - Date: 2018-05-22 15:05:38
|
---|
5![NetEgg: Programming Network Policies by Examples Yifei Yuan Rajeev Alur Boon Thau Loo NetEgg: Programming Network Policies by Examples Yifei Yuan Rajeev Alur Boon Thau Loo](https://www.pdfsearch.io/img/1104e9e7dacae321a372bd332573faec.jpg) | Add to Reading ListSource URL: www.andrew.cmu.eduLanguage: English - Date: 2018-05-22 15:05:38
|
---|
6![Preserving Secrecy Under Refinement ˇ Rajeev Alur, Pavol Cern´ y, and Steve Zdancewic University of Pennsylvania Preserving Secrecy Under Refinement ˇ Rajeev Alur, Pavol Cern´ y, and Steve Zdancewic University of Pennsylvania](https://www.pdfsearch.io/img/5acae99c0e88d03649d498054fa0598e.jpg) | Add to Reading ListSource URL: ecee.colorado.eduLanguage: English - Date: 2013-01-11 01:47:59
|
---|
7![On the Feasibility of Automation for Bandwidth Allocation Problems in Data Centers Yifei Yuan, Anduo Wang, Rajeev Alur, and Boon Thau Loo University of Pennsylvania Abstract—Mapping virtual networks to physical networ On the Feasibility of Automation for Bandwidth Allocation Problems in Data Centers Yifei Yuan, Anduo Wang, Rajeev Alur, and Boon Thau Loo University of Pennsylvania Abstract—Mapping virtual networks to physical networ](https://www.pdfsearch.io/img/c3133e306bd186d8dee59917410aae5a.jpg) | Add to Reading ListSource URL: www.andrew.cmu.eduLanguage: English - Date: 2018-05-22 15:05:38
|
---|
8![Synthesis of Interface Specifications for Java Classes Rajeev Alur ˇ Pavol Cern´ y Synthesis of Interface Specifications for Java Classes Rajeev Alur ˇ Pavol Cern´ y](https://www.pdfsearch.io/img/7e49236392e2194e6d4d78fc1a2c6ec5.jpg) | Add to Reading ListSource URL: ecee.colorado.eduLanguage: English - Date: 2013-01-11 01:47:57
|
---|
9![Results and Analysis of SyGuS-Comp’15 Rajeev Alur Dana Fisman University of Pennsylvania Results and Analysis of SyGuS-Comp’15 Rajeev Alur Dana Fisman University of Pennsylvania](https://www.pdfsearch.io/img/762791b03cd19057930c585f775470b6.jpg) | Add to Reading ListSource URL: sygus.seas.upenn.eduLanguage: English - Date: 2015-11-25 14:03:53
|
---|
10![Curriculum Vitae1 Rajeev Alur Address Department of Computer and Information Science 3330 Walnut Street, Levine Hall University of Pennsylvania Curriculum Vitae1 Rajeev Alur Address Department of Computer and Information Science 3330 Walnut Street, Levine Hall University of Pennsylvania](https://www.pdfsearch.io/img/060e1668236b00af64a6ad5f8d049765.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2018-05-17 10:31:42
|
---|